7af7988ace8a25d73835a6205e8cf15ebac8acbc,src/org/exist/xmldb/RemoteCollectionManagementService.java,RemoteCollectionManagementService,copy,#XmldbURI#XmldbURI#XmldbURI#,214

Before Change


    public void copy(XmldbURI collectionPath, XmldbURI destinationPath,
            XmldbURI newName) throws XMLDBException {
    	collectionPath = parent.getPathURI().resolveCollectionPath(collectionPath);
    	destinationPath = parent.getPathURI().resolveCollectionPath(destinationPath);
        if(newName == null) {
            newName = collectionPath.lastSegment();
        }

After Change


    public void copy(XmldbURI collectionPath, XmldbURI destinationPath,
            XmldbURI newName) throws XMLDBException {
    	collectionPath = parent.getPathURI().resolveCollectionPath(collectionPath);
    	destinationPath = destinationPath == null ? collectionPath.removeLastSegment() : parent.getPathURI().resolveCollectionPath(destinationPath);

        if(newName == null) {
            newName = collectionPath.lastSegment();